『Basic Category Theory for Computer Scientists』
https://images-na.ssl-images-amazon.com/images/I/411642SVPGL._SX351_BO1,204,203,200_.jpg
本に書き込むのは好きではないが、どうしてもイミフだったとこには軽く線を引いていこうmrsekut.icon
1章
圏とは、「異なる対象間の射」の集合である
こういうのを、pre-categoryとかnaked categoryとか呼ぶらしい？
ググっても出てこないし、何のことを指してるんだろう